The implementation and use of Ada on distributed systems with high reliability requirements

The use and implementation of Ada were investigated in distributed environments in which reliability is the primary concern. In particular, the focus was on the possibility that a distributed system may be programmed entirely in Ada so that the individual tasks of the system are unconcerned with which processors are being executed, and that failures may occur in the software and underlying hardware. A secondary interest is in the performance of Ada systems and how that performance can be gauged reliably. Primary activities included: analysis of the original approach to recovery in distributed Ada programs using the Advanced Transport Operating System (ATOPS) example; review and assessment of the original approach which was found to be capable of improvement; development of a refined approach to recovery that was applied to the ATOPS example; and design and development of a performance assessment scheme for Ada programs based on a flexible user-driven benchmarking system

Detection of faults and software reliability analysis

Multiversion or N-version programming was proposed as a method of providing fault tolerance in software. The approach requires the separate, independent preparation of multiple versions of a piece of software for some application. Specific topics addressed are: failure probabilities in N-version systems, consistent comparison in N-version systems, descriptions of the faults found in the Knight and Leveson experiment, analytic models of comparison testing, characteristics of the input regions that trigger faults, fault tolerance through data diversity, and the relationship between failures caused by automatically seeded faults

An experimental evaluation of error seeding as a program validation technique

A previously reported experiment in error seeding as a program validation technique is summarized. The experiment was designed to test the validity of three assumptions on which the alleged effectiveness of error seeding is based. Errors were seeded into 17 functionally identical but independently programmed Pascal programs in such a way as to produce 408 programs, each with one seeded error. Using mean time to failure as a metric, results indicated that it is possible to generate seeded errors that are arbitrarily but not equally difficult to locate. Examination of indigenous errors demonstrated that these are also arbitrarily difficult to locate. These two results support the assumption that seeded and indigenous errors are approximately equally difficult to locate. However, the assumption that, for each type of error, all errors are equally difficult to locate was not borne out. Finally, since a seeded error occasionally corrected an indigenous error, the assumption that errors do not interfere with each other was proven wrong. Error seeding can be made useful by taking these results into account in modifying the underlying model

Production of Reliable Flight Crucial Software: Validation Methods Research for Fault Tolerant Avionics and Control Systems Sub-Working Group Meeting

The state of the art in the production of crucial software for flight control applications was addressed. The association between reliability metrics and software is considered. Thirteen software development projects are discussed. A short term need for research in the areas of tool development and software fault tolerance was indicated. For the long term, research in format verification or proof methods was recommended. Formal specification and software reliability modeling, were recommended as topics for both short and long term research

Optical implementability of the two-dimensional Quantum Walk

We propose an optical cavity implementation of the two-dimensional coined quantum walk on the line. The implementation makes use of only classical resources, and is tunable in the sense that a large number of different unitary transformations can be implemented by tuning some parameters of the device.Comment: 9 pages, 3 figure

PASCAL/48 reference manual

PASCAL/48 is a programming language for the Intel MCS-48 series of microcomputers. In particular, it can be used with the Intel 8748. It is designed to allow the programmer to control most of the instructions being generated and the allocation of storage. The language can be used instead of ASSEMBLY language in most applications while allowing the user the necessary degree of control over hardware resources. Although it is called PASCAL/48, the language differs in many ways from PASCAL. The program structure and statements of the two languages are similar, but the expression mechanism and data types are different. The PASCAL/48 cross-compiler is written in PASCAL and runs on the CDC CYBER NOS system. It generates object code in Intel hexadecimal format that can be used to program the MCS-48 series of microcomputers. This reference manual defines the language, describes the predeclared procedures, lists error messages, illustrates use, and includes language syntax diagrams

The lone parent pilots after 12 to 24 months: an impact assessment of in-work credit, work search premium, extended schools childcare, quarterly work focused interviews and new deal plus for lone parents

From April 2004, a set of Government policies designed to help lone parents into work have been piloted in various combinations in a number of Jobcentre Plus districts in Great Britain. The five policies are: In Work Credit (IWC), Work Search Premium (WSP), Extended Schools Childcare (ESC) and Childcare Tasters, Quarterly Work Focused Interviews (QWFIs) for lone parents whose youngest child is aged 12 or over in Local Education Authorities (LEAs) in which an ESC pilot is operating (ESQWFI), and New Deal Plus for Lone Parents (ND+fLP), hereafter collectively referred to as 'the lone parent pilots' (LPPs or 'the pilots'). The pilots were rolled out in four Phases, the first three of which are analysed in this report. This report estimates the impact of the LPPs on lone parents who have received Income Support (IS) or Jobseeker's Allowance (JSA) for at least 12 months. It uses a difference-in-differences (DiD) estimator, and makes use of lone parents in districts not operating a pilot as a comparison group. The data covers the first 12 months (Phase 3 districts) to the first 24 months (Phase 1 districts) of the pilots' operation, and so should be seen as giving the early impacts. Impacts were estimated separately for the stock of lone parents who had been on benefit for at least 12 months when the pilots began, and the flow sample of lone parents whose claim of IS/JSA reached 12 months after the pilots began

A search for evidence of large body Earth impacts associated with biological crisis zones in the fossil record

The natural history of the Earth, how the present plant and animal species developed, how others completely died out, etc., was studied. The rock strata sampled and studied were at the time of deposition at sea bottom. It was found that, exactly at the stratigraphic level corresponding to the extinction, a thin clay layer was greatly enriched in the the rare element iridium. It was hypothesized that the excess irridium at the boundary came from a large steroid like object that hit the earth, and that the impact of this object threw up a dust cloud dense enough and long lasting enough to bring about the extinction of a wide variety of plants and animals, producing the unique break in in the fossil record, the cretaceous-tertiary boundary. The same iridium and platinum metals enrichement are found in a thin clay layer that corresponds with the boundary as difined by sudden radical changes in plant populations. The irridium enrichement is confirmed at other fresh water origin rites in the Raton Basin

Hydrometeor development in cold clouds in FIRE

The role of cirrus clouds, particularly in weather and climate processes, has been increasingly investigated. Numerical models have demonstrated the importance of the solar reflectivity and infrared radiation of cirrus clouds in the Earth's radiation budget and climate. These properties depend upon the cloud microphysical characteristics, density, and altitude and hence justify investigation. The results reported were obtained from cold clouds (-20 to -46 C) in the mid to upper troposphere during ten flights of the NCAR King Air as part of the First ISCCP Research Experiment (FIRE) in Wisconsin

The implementation and use of Ada on distributed systems with high reliability requirements

The use and implementation of Ada in distributed environments in which reliability is the primary concern were investigated. In particular, the concept that a distributed system may be programmed entirely in Ada so that the individual tasks of the system are unconcerned with which processors they are executing on, and that failures may occur in the software or underlying hardware was examined. Progress is discussed for the following areas: continued development and testing of the fault-tolerant Ada testbed; development of suggested changes to Ada so that it might more easily cope with the failure of interest; and design of new approaches to fault-tolerant software in real-time systems, and integration of these ideas into Ada